Categorical logic - PDFSEARCH.IO - Document Search Engine

Categorical logic
Results: 79

#	Item
51	Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:12:09 Modal logic Philosophical logic Non-classical logic Logic in computer science Kripke semantics Intuitionistic logic General frame Natural deduction Interior algebra Logic Mathematical logic Mathematics
52	CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2010-08-30 08:34:57 Proof theory Natural deduction Linear logic Sequent Categorical logic First-order logic Intuitionistic logic Interpretation Propositional calculus Logic Mathematical logic Mathematics
53	Volume 6, Number 9 September 2012 www.thereasoner.org Add to Reading List Source URL: www.kent.ac.uk Language: English - Date: 2012-08-30 06:46:44 Philosophical logic Topos Categorical logic Theory Philosophy of mathematics Axiom Category theory Modal logic Probability interpretations Logic Mathematics Philosophy
54	From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference Add to Reading List Source URL: coalg.org Language: English - Date: 2012-02-09 12:55:46 Model theory Functions and mappings Recursion First-order logic Function Knaster–Tarski theorem Universal quantification Categorical logic Topos Mathematics Mathematical logic Logic
55	The Bulletin of Symbolic Logic Volume 6, Number 2, June 2000 Add to Reading List Source URL: www.math.mcgill.ca Language: English - Date: 2006-06-17 16:44:59 Model theory Categorical logic Theoretical computer science Non-classical logic Category theory Higher-order logic Modal logic Type theory First-order logic Logic Mathematics Mathematical logic
56	An Institutional View on Categorical Logic Florian Rabe, Jacobs University Bremen Till Mossakowski, DFKI-Lab Bremen and University of Bremen Add to Reading List Source URL: kwarc.info Language: English - Date: 2011-08-04 12:26:08 Model theory Category theory Structure Interpretation Monoid Category Enriched category Symbol First-order logic Mathematics Abstract algebra Mathematical logic
57	Reprints in Theory and Applications of Categories, No. 12, 2005, pp. 1–288. TOPOSES, TRIPLES AND THEORIES Add to Reading List Source URL: www.emis.de Language: English - Date: 2005-06-22 13:21:20 Sheaf theory Algebraic topology Topos Adjoint functors Philosophers of mathematics Categorical logic Sketch Michael Barr Alexander Grothendieck Category theory Mathematics Abstract algebra
58	Syllogistics = Monotonicity + Symmetry + Existential Import Jan van Eijck July 4, 2005 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2005-07-04 07:22:37 Quantification Semantics Boolean algebra Syllogism Categorical proposition Existential quantification Negation FO Inference Logic Mathematical logic Traditional logic
59	Reprints in Theory and Applications of Categories, No. 11, 2005, pp. 1–35. AN ELEMENTARY THEORY Add to Reading List Source URL: tac.mta.ca Language: English - Date: 2005-05-20 10:56:44 Categorical logic William Lawvere Category of sets Topos Categorical set theory Morphism Function Axiom of choice Metric Mathematics Category theory Mathematical logic
60	arXiv:0711.1529v3 [math.LO] 22 Oct[removed]LAWVERE-TIERNEY SHEAVES Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2008-10-22 23:17:04 Sheaf theory Topos theory Homological algebra Topos Order theory Sheaf Subobject classifier Adjoint functors Categorical logic Category theory Mathematics Abstract algebra

UPDATE